completeness of inference rule
un. 推理规则的完备性
热门查询
- Sabbatarian n. 守安息日（星期六）的人；严守星期日为安息日的人 adj. 守安息日的
- whomsoever pron. 任何人（whosoever的宾格）
- lug n. 支托；接线片；耳状物 vt. 用力拉或拖 vi. 用力拉或拖
- dron abbr. data reduction 数据缩减量
- erotica n. 色情作品；色情书籍
- lodgepole n. 罗奇波尔（地名）
- Gorky n. (Gorky)人名；(俄)高尔基 高尔基
- conform adj. 一致的；顺从的 vi. 符合；遵照；适应环境 vt. 使遵守；使一致；使顺从
- canted adj. 有角的；倾斜的 v. 倾斜（cant的过去式及过去分词）
- froggy n. 法国人（轻蔑语） adj. 蛙的；不好的；讨厌的
- Aleksandr abbr. Aleksandr Solzhenitsyn (Russian novelist) 阿勒科山德·索尔泽尼特希（俄罗斯小说家）
- Claudel n. (Claudel)人名；(法)克洛代尔；(英、西)克劳德尔
- inaudible adj. 听不见的；不可闻的
- sickly adj. 有病的，苍白的；疾病流行的；令人作呕的 adv. 病态地 vt. 使苍白，使现病容
- Overton [人名] [英格兰人姓氏] 奥弗顿住所名称，来源于古英语，含义是“上面的+圈用地，居留地”(upper +enclosure,settlement); [地名] [英国、英国] 欧弗顿
- reactor n. [化工] 反应器；[核] 反应堆；起反应的人
- anaesthetic n. 麻醉剂；麻药 adj. 麻醉的
- transference n. 转移；转让；调任
- Guggenheim n. <口> 格瓦拉的追随者
- left-hand adj. 左手的；左侧的
考试词汇表
